A Framework for Supervisory Control of Probabilistic Discrete Event Systems
نویسندگان
چکیده
منابع مشابه
A Framework for Supervisory Control of Probabilistic Discrete Event Systems
This paper focuses on a framework for probabilistic supervisory control of probabilistic discrete event systems (PDES). PDES are modelled as generators of probabilistic languages, and the supervisors used are probabilistic. In our previous work, we presented and solved a number of supervisory control problems inside the framework. We also suggested a pseudometric to measure the behavioural simi...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملSupervisory Control of Probabilistic Discrete Event Systems
This paper considers supervisory control of probabilistic discrete event systems (PDES). PDESs are modeled as generators of probabilistic languages. The supervisory control problem considered is to find, if possible, a supervisor under whose control the behaviour of a plant is identical to a given probabilistic specification. The probabilistic supervisors we employ are a generalization of the d...
متن کاملA pseudometric in supervisory control of probabilistic discrete event systems
The focus of this paper is the pseudometric used as a key concept in our previous work on optimal supervisory control of probabilistic discrete event systems. The pseudometric is employed to measure the behavioural similarity between probabilistic systems, and initially was defined as a greatest fixed point of a monotone function. This paper further characterizes the pseudometric. First, it giv...
متن کاملSupervisory control of probabilistic discrete-event systems with recovery
The authors discuss supervisory control of probabilistic discrete-event systems in this paper. Supervisors for such systems will take probabilities of event occurrences into consideration in making control decisions. The authors introduce a new concept called “ -containment of a given language” and subsequently study its algebraic properties. They discuss standard supervisor (with only enableme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2014
ISSN: 1474-6670
DOI: 10.3182/20140514-3-fr-4046.00073